Extractors and an efficient variant of Muchnik's theorem

نویسنده

  • Daniil Musatov
چکیده

Muchnik's theorem about simple conditional descriprion states that for all words $a$ and $b$ there exists a short program $p$ transforming $a$ to $b$ that has the least possible length and is simple conditional on $b$. This paper presents a new proof of this theorem, based on extractors. Employing the extractor technique, two new versions of Muchnik's theorem for space- and time-bounded Kolmogorov complexity are proven.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

An Efficient Coupled Genetic Algorithm-NLP Method for Heat Exchanger Network Synthesis

Synthesis of heat exchanger networks (HENs) is inherently a mixed integer and nonlinear programming (MINLP) problem. Solving such problems leads to difficulties <span style="font-size: 10pt; color: #00...

متن کامل

Simple Extractors via Constructions of Cryptographic Pseudo-random Generators

Trevisan has shown that constructions of pseudo-random generators from hard functions (the Nisan-Wigderson approach) also produce extractors. We show that constructions of pseudo-random generators from one-way permutations (the Blum-Micali-Yao approach) can be used for building extractors as well. Using this new technique we build extractors that do not use designs and polynomial-based error-co...

متن کامل

APG: An Efficient Software Program for Amp-Pl Thermobarometry Based on Graphical Method

Geothermobarometry equations are based on thermodynamic principles and appear in single or multi-variant functions. The number of variants for a specific composition or reaction usually is reduced into 2 involving temperature (T) and pressure (P). Since most of planned equations have two passive or variant P and T, using these equations should be with special care. It is very effective to use g...

متن کامل

FIXED POINT TYPE THEOREM IN S-METRIC SPACES

 A variant of fixed point theorem is proved in the setting of S-metric spaces

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • CoRR

دوره abs/0811.3958  شماره 

صفحات  -

تاریخ انتشار 2008